$\forall$$A$,$B$:Type, $f$:($A$$\rightarrow$$B$), $L_{1}$,$L_{2}$:($A$ List). iseg($A$; $L_{1}$; $L_{2}$) $\Rightarrow$ iseg($B$; map($f$; $L_{1}$); map($f$; $L_{2}$))